81. Programming languages and systems :
پدیدآورنده: Sukyoung Ryu (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software Engineering.,Systems analysis & design.
رده :
QA76
.
7
82. Python Robotics Projects :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automatic control.,Python (Computer program language),Automatic control-- Data processing.,Computer hardware.,Computers-- Hardware-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming Languages-- Python.,Mobile phones: consumer/user guides.,Portable & handheld devices: consumer/user guides.,Programming & scripting languages: general.,Python (Computer program language)
رده :
QA76
.
73
.
P98
.
V357
2018
83. Runtime verification :
پدیدآورنده: Christian Colombo, Martin Leucker (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
84. Security and embedded systems /
پدیدآورنده: edited by Dimitrios N. Serpanos and Ran Giladi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security, Congresses.,Embedded computer systems-- Security measures, Congresses.,Systèmes enfouis (Informatique)-- Sécurité-- Mesures, Congrès.,Systèmes informatiques-- Sécurité-- Mesures, Congrès.,Computer security.,COMPUTERS-- Hardware-- Handheld Devices.,COMPUTERS-- Hardware-- Personal Computers-- General.,COMPUTERS-- Microprocessors.
رده :
TK7895
.
E42
N27
2005eb
85. Software architecture :
پدیدآورنده: Carlos E. Cuesta, David Garlan, Jennifer Pérez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Software architecture, Congresses.,Software engineering, Congresses.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software architecture.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
86. Software process improvement and capability determination :
پدیدآورنده: Ioannis Stamelos, Rory V. O'Connor, Terry Rout, Alec Dorling (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Development-- Management, Congresses.,Software engineering, Congresses.,Information Systems Applications (incl. Internet).,Management of Computing and Information Systems.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Theory of Computation.,Business & Economics-- Information Management.,Computer science.,Computer software-- Development-- Management.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Technology.,Computers-- Software Development & Engineering-- General.,Information architecture.,Information retrieval.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
.
S65
2018eb
87. Supporting learning flow through integrative technologies /
پدیدآورنده: edited by Tsukasa Hirashima, Ulrich Hoppe and Shelley Shwu-Ching Young.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence-- Educational applications, Congresses.,Artificial intelligence-- Educational applications.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.
رده :
LB1028
.
43
.
I58
2007eb
88. Symposium on real-time and hybrid systems :
پدیدآورنده: Cliff Jones, Ji Wang, Naijun Zhan (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science),Software engineering.,Artificial Intelligence.,Programming Languages, Compilers, Interpreters.,Software Engineering.,System Performance and Evaluation.,Theory of Computation.,Artificial intelligence.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
89. Technologies and innovation :
پدیدآورنده: Rafael Valencia-García, Gema Alcaraz-Mármol, Javier Del Cioppo-Morstadt, Néstor Vera-Lucio, Martha Bucaram-Leverone (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cloud computing, Congresses.,Computer science, Congresses.,Natural language processing (Computer science), Congresses.,Technological innovations, Congresses.,Artificial intelligence.,Cloud computing.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Mobile & handheld device programming-- Apps programming.,Natural language processing (Computer science),Software Engineering.,Technological innovations.
رده :
QA75
.
5
90. The beginner's guide to computers and the Internet /
پدیدآورنده: Susan Holden, Matthew Francis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Internet, Handbooks, manuals, etc.,Microcomputers, Handbooks, manuals, etc.,COMPUTERS-- Hardware-- Handheld Devices.,COMPUTERS-- Hardware-- Personal Computers-- General.,COMPUTERS-- Microprocessors.,Internet.,Microcomputers.
رده :
QA76
.
5
.
H65
2004eb
91. The complete idiot's guide to PCs /
پدیدآورنده: by Joe Kraynak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Microcomputers.,COMPUTERS-- Hardware-- Handheld Devices.,COMPUTERS-- Hardware-- Personal Computers-- General.,COMPUTERS-- Microprocessors.,Microcomputers.
رده :
QA76
.
5
.
K7443
2002eb
92. The digital consumer technology handbooka comprehensive guide to devices, standards, future directions, and programmable logic solutions. ]CD[
پدیدآورنده: Dhir, Amit., by Amit Dhir
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: Handbooks, manuals, etc ، Digital electronics,Handbooks, manuals, etc ، Household electronics,، Electronic books
رده :
TK7868
.
D5
D478
2004eb
93. The practical PDA :
پدیدآورنده: Brian Proffitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Handspring Visor (Computer),PalmPilot (Computer),COMPUTERS-- Hardware-- Handheld Devices.,COMPUTERS-- Hardware-- Personal Computers-- General.,COMPUTERS-- Microprocessors.,Handspring Visor (Computer),PalmPilot (Computer)
رده :
QA76
.
8
.
P138
P76
2001eb
94. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده: Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
95. Ubuntu netbooks :
پدیدآورنده: Sander van Vugt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Ubuntu (Electronic resource),Ubuntu (Electronic resource),Ubuntu (Electronic resource),Ubuntu (Electronic resource),Operating systems (Computers),COMPUTERS-- Hardware-- Handheld Devices.,COMPUTERS-- Hardware-- Personal Computers-- General.,COMPUTERS-- Microprocessors.,Informatique.,Operating systems (Computers),Operating systems (Computers)
رده :
QA76
.
76
.
U37
V74
2009
96. Verification and evaluation of computer and communication systems :
پدیدآورنده: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
97. Verified software :
پدیدآورنده: Ruzica Piskac, Philipp Rümmer (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
98. Web and wireless geographical information systems :
پدیدآورنده: Miguel R. Luaces, Farid Karimipour (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data mining, Congresses.,Geographic information systems, Congresses.,World Wide Web, Congresses.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Handheld Devices.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Data mining.,Data mining.,Geographic information systems.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Network hardware.,Systems analysis & design.,World Wide Web.
رده :
G70
.
212
99. Windows netbooks :
پدیدآورنده: James Floyd Kelly.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Laptop computers, Handbooks, manuals, etc.,Netbook computers, Handbooks, manuals, etc.,COMPUTERS-- Hardware-- Handheld Devices.,COMPUTERS-- Hardware-- Personal Computers-- General.,COMPUTERS-- Microprocessors.,Informatique.,Laptop computers.,Netbook computers.
رده :
QA76
.
6
.
K45
2009
100. iPad all-in-one for dummies /
پدیدآورنده: by Nancy Muir
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computers, Handheld
رده :
QA76
.
8
.
I863
M84
2011
